|
In algebraic geometry, the sheaf of logarithmic differential ''p''-forms on a smooth projective variety ''X'' along a smooth divisor is defined and fits into the exact sequence of locally free sheaves: : where are the inclusions of irreducible divisors (and the pushforwards along them are extension by zero), and β is called the residue map when ''p'' is 1. For example, if ''x'' is a closed point on and not on , then : form a basis of at ''x'', where are local coordinates around ''x'' such that are local parameters for . == See also == *Poincaré residue 抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「Sheaf of logarithmic differential forms」の詳細全文を読む スポンサード リンク
|